Section: Contracts and Grants with Industry

ANR CAVERN project

Participants : Arnaud Gotlieb, Matthieu Carlier.

The CAVERN project (ANR, 2007-2011) gathers national research teams to study the capabilities of Constraint Programming for Program Verification (http://cavern.inria.fr/ ). This year, we focussed on WP4 on floating-point computations and got new results with the CeP team of University of Nice Sophia-Antipolis. The overall results of the project will be presented at the annual 2012 ANR meeting in Lyon.